can{-}apply($f$; $x$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$isl($f$($x$))